大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic 的图书(共4223本)

Human-Computer Interaction. Design and Development Approaches [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Morphology and Its Applications to Image and Signal Processing [electronic resource] : 10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011. Proceedings

0
索取号：
作者：Soille、 Pierre.、Pesaresi、 Martino.、Ouzounis、 Georgios K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

End-User Development [electronic resource] : Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings

0
索取号：
作者：Costabile、 Maria Francesca.、Dittrich、 Yvonne.、Fischer、 Gerhard.、Piccinno、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Processing in Computer-Assisted Interventions [electronic resource] : Second International Conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings

0
索取号：
作者：Taylor、 Russell H.、Yang、 Guang-Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Combinatorial Pattern Matching [electronic resource] : 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings

0
索取号：
作者：Giancarlo、 Raffaele.、Manzini、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

0
索取号：
作者：Butler、 Michael.、Schulte、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

0
索取号：
作者：Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

0
索取号：
作者：Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dependable Computer Systems [electronic resource]

0
索取号：
作者：Zamojski、 Wojciech.、Kacprzyk、 Janusz.、Mazurkiewicz、 Jacek.、Sugier、 Jaros艂aw.、Walkowiak、 Tomasz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer and Information Science 2011 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Bioinformatics Research and Applications [electronic resource] : 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011. Proceedings

0
索取号：
作者：Chen、 Jianer.、Wang、 Jianxin.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part III

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part I

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part II

0
索取号：
作者：Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.